#ifndef _SPINLOCK_H_
#define _SPINLOCK_H_

#include <spinlock_t.h>
#include <cpuctrl.h>

void spinlock_init (spinlock_t * lock);
void spinlock_lock (spinlock_t * lock);
void spinlock_unlock (spinlock_t * lock);
void spinlock_saveflg_cli (spinlock_t * lock, cpuflg_t * cpuflg);
void spinunlock_restflg_sti (spinlock_t * lock, cpuflg_t * cpuflg);

#endif
